The theory of interactive generalized semi-Markov processes

Interactive Generalized Semi-Markov Processes

We have previously introduced Generalized Semi-Markovian Process Algebra (GSMPA), a process algebra based on ST semantics which is capable of expressing durational actions, where durations are expressed by general probability distributions. In this paper we introduce the calculus of Interactive Generalized Semi-Markov Processes (IGSMP), a variant of GSMPA where synchronizable actions are restri...

The theory of interactive generalized semi-Markov processes

In this paper we introduce the calculus of interactive generalized semi-Markov processes (IGSMPs), a stochastic process algebra which can express probabilistic timed delays with general distributions and synchronizable actions with zero duration, and where choices may be probabilistic, non-deterministic and prioritized. IGSMP is equipped with a structural operational semantics which generates s...

The KTH Visit in Semi-Markov Processes

Continuity of Generalized Semi-Markov Processes

It is shown that sequences of generalized semi-Markov processes converge in the sense of weak convergence of random functions if associated sequences of defining elements (initial distributions, transition functions and clock time distributions) converge. This continuity or stability is used to obtain information about invariant probability measures. It is shown that there exists an invariant p...

Numerical Analysis of Generalized Semi-Markov Processes

This paper present methodological results that allow the cost-effective numerical analysis of finite-state generalized semi-Markov processes (GSMPs) with exponential and deterministic events by an embedded general state space Markov chain (GSSMC). Key contributions constitute the formal proof that elements of the transition kernel of the GSSMC can always be computed by appropriate summation of ...